home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / misc / cabern.zip / EXAMPLES / CONS_H.TRN < prev    next >
Text File  |  1994-09-08  |  5KB  |  153 lines
  1.  
  2. (SuperTimedNet$demo4.net10#
  3. (TimedPlace$Producer_ready896#576#100#2#1#1#0#;1)
  4. (TimedPlace$Producer_after_communication896#1728#100#2#1#2#1#
  5. (TimedToken$Tk3T00#);1)
  6. (TimedPlace$Consumer_ready2624#576#100#2#1#3#1#
  7. (TimedToken$Tk1T00#);1)
  8. (TimedPlace$Consumer_after_communication2624#1728#100#2#1#4#0#;1)
  9. (TimedTransition$produce320#1152#100#1#1#5#TRUE;enab + 2.5enab + 3STRONG)
  10. (TimedTransition$communicate1792#1152#100#1#1#27#TRUE;enab + 2enab + 5STRONG)
  11. (TimedTransition$consume_wk3456#1152#100#1#1#7#TRUE;enab + 3enab + 5STRONG)
  12. (TimedPlace$stat3200#1472#100#2#1#8#1#
  13. (TimedToken$Tk2
  14. 0
  15. 0
  16. 0
  17. T00#);1)
  18. (TimedTransition$consumer_B2944#1152#100#1#1#9#;enab + 3enab + 8STRONG)
  19. (TimedTransition$consume_A2432#1152#100#1#1#10#TRUE;enab+2enab+5STRONG)18#
  20. (Arc$A1320#576#0#0#0#0#0#0#20#0#1#8^2^1)
  21. (Arc$A21600#576#0#0#0#0#0#0#20#0#1#2^9^1)
  22. (Arc$A31984#576#0#0#0#0#0#0#20#0#1#5^9^1)
  23. (Arc$A41600#1728#0#0#0#0#0#0#20#0#1#9^3^1)
  24. (Arc$A5320#1728#0#0#0#0#0#0#20#0#1#3^8^1)
  25. (Arc$A61984#1728#0#0#0#0#0#0#20#0#1#9^7^1)
  26. (Arc$A73456#1728#0#0#0#0#0#0#20#0#1#7^10^1)
  27. (Arc$A83456#576#0#0#0#0#0#0#20#0#1#10^5^1)
  28. (Arc$A90#0#0#0#0#0#0#0#20#0#1#10^11^1)
  29. (Arc$A100#0#0#0#0#0#0#0#20#0#1#11^10^1)
  30. (Arc$A112944#1536#0#0#0#0#0#0#20#0#1#7^13^1)
  31. (Arc$A122432#1536#0#0#0#0#0#0#20#0#1#7^14^1)
  32. (Arc$A132432#768#0#0#0#0#0#0#20#0#1#14^5^1)
  33. (Arc$A142944#768#0#0#0#0#0#0#20#0#1#13^5^1)
  34. (Arc$A150#0#0#0#0#0#0#0#20#0#1#13^11^1)
  35. (Arc$A160#0#0#0#0#0#0#0#20#0#1#11^13^1)
  36. (Arc$A170#0#0#0#0#0#0#0#20#0#1#14^11^1)
  37. (Arc$A180#0#0#0#0#0#0#0#20#0#1#11^14^1)11##include <sys/types.h>
  38. #include <sys/times.h>
  39. #include <sys/timeb.h>
  40. class my_void {
  41.     public:
  42.         friend istream & operator >>(istream & strm, my_void & t)
  43.             {return strm;}
  44.             
  45.         friend ostream & operator << (ostream & strm, my_void  t)
  46.             {return strm;}
  47.         };
  48.  
  49. class my_record{
  50.     public:
  51.         int count1;
  52.         int count2;
  53.         int count3;
  54.         friend istream & operator >>(istream & strm, my_record & t)
  55.             {
  56.             strm >> t.count1 >> t.count2 >> t.count3;
  57.             return strm;
  58.             }
  59.             
  60.         friend ostream & operator << (ostream & strm, my_record  t)
  61.             {
  62.             strm << t.count1 <<"\n"<< t.count2 << "\n"<< t.count3 <<"\n";
  63.             return strm;
  64.             }
  65.         };
  66.  
  67. class timed_void{
  68.      public:
  69.          double time; 
  70.         my_void value;
  71.         friend istream & operator >>(istream & strm, timed_void & t)
  72.             {
  73.             strm >> t.time >> t.value;
  74.             return strm;
  75.             }
  76.             
  77.         friend ostream & operator << (ostream & strm, timed_void  t)
  78.             {
  79.             strm << t.time <<"\n"<< t.value << "\n";
  80.             return strm;
  81.             }
  82.         };
  83.  
  84. class timed_int{
  85.      public:
  86.          double time; 
  87.         int value;
  88.         friend istream & operator >>(istream & strm, timed_int & t)
  89.             {
  90.             strm >> t.time >> t.value;
  91.             return strm;
  92.             }
  93.             
  94.         friend ostream & operator << (ostream & strm, timed_int  t)
  95.             {
  96.             strm << t.time <<"\n"<< t.value << "\n";
  97.             return strm;
  98.             }
  99.         };
  100.         
  101. class timed_record{
  102.     public:
  103.          double time; 
  104.         my_record value;
  105.         friend istream & operator >>(istream & strm, timed_record & t)
  106.             {
  107.             strm >> t.time >> t.value;
  108.             return strm;
  109.             }
  110.             
  111.         friend ostream & operator << (ostream & strm, timed_record  t)
  112.             {
  113.             strm << t.time <<"\n"<< t.value << "\n";
  114.             return strm;
  115.             }
  116.         };
  117. T0==05#
  118. (Transformation$1#9^0#4#3#
  119. (TimedTransition$T61792#768#100#1#1#12#TRUE;enab + 2enab + 3STRONG)
  120. (TimedPlace$P61792#1152#100#2#1#26#0#;1)
  121. (TimedTransition$T71792#1536#100#1#1#14#TRUE;enab + 0enab + 0STRONG)2#
  122. (Arc$A190#0#0#0#0#0#0#0#20#0#1#34^35^1)
  123. (Arc$A200#0#0#0#0#0#0#0#20#0#1#35^36^1)11#4#16^17^18^20^4#
  124. (Arc$A211600#576#0#0#0#0#0#0#20#0#1#2^34^1)
  125. (Arc$A221984#576#0#0#0#0#0#0#20#0#1#5^34^1)
  126. (Arc$A231600#1728#0#0#0#0#0#0#20#0#1#36^3^1)
  127. (Arc$A241984#1728#0#0#0#0#0#0#20#0#1#36^7^1))
  128. (Transformation$1#35^0#5#2#
  129. (TimedPlace$P71536#1152#100#2#1#25#0#;1)
  130. (TimedPlace$P82048#1152#100#2#1#16#0#;1)0#13#2#37^38^4#
  131. (Arc$A250#0#0#0#0#0#0#0#20#0#1#34^44^1)
  132. (Arc$A260#0#0#0#0#0#0#0#20#0#1#34^45^1)
  133. (Arc$A270#0#0#0#0#0#0#0#20#0#1#44^36^1)
  134. (Arc$A280#0#0#0#0#0#0#0#20#0#1#45^36^1))
  135. (Transformation$1#44^0#6#3#
  136. (TimedPlace$P91536#896#100#2#1#17#0#;1)
  137. (TimedTransition$T81536#1152#100#1#1#24#TRUE;enabenab + 2STRONG)
  138. (TimedPlace$P101536#1408#100#2#1#19#0#;1)2#
  139. (Arc$A290#0#0#0#0#0#0#0#20#0#1#51^52^1)
  140. (Arc$A300#0#0#0#0#0#0#0#20#0#1#52^53^1)16#2#46^48^2#
  141. (Arc$A310#0#0#0#0#0#0#0#20#0#1#34^51^1)
  142. (Arc$A320#0#0#0#0#0#0#0#20#0#1#53^36^1))
  143. (Transformation$1#52^0#7#2#
  144. (TimedTransition$T91344#1152#100#1#1#20#TRUE;enabenab + 2STRONG)
  145. (TimedTransition$T101728#1152#100#1#1#23#TRUE;enabenab + 2STRONG)0#18#2#54^55^4#
  146. (Arc$A330#0#0#0#0#0#0#0#20#0#1#51^59^1)
  147. (Arc$A340#0#0#0#0#0#0#0#20#0#1#51^60^1)
  148. (Arc$A350#0#0#0#0#0#0#0#20#0#1#59^53^1)
  149. (Arc$A360#0#0#0#0#0#0#0#20#0#1#60^53^1))
  150. (Transformation$1#60^0#8#1#
  151. (TimedTransition$T111728#1152#100#1#1#22#TRUE;enab + 1enab + 1STRONG)0#19#2#62^64^2#
  152. (Arc$A370#0#0#0#0#0#0#0#20#0#1#51^66^1)
  153. (Arc$A380#0#0#0#0#0#0#0#20#0#1#66^53^1)))